Большой энциклопедический словарь - теорема

(греч. theorema, от theoreo - рассматриваю), в математике - предложение (утверждение), устанавливаемое при помощи доказательства (в противоположность аксиоме). Теорема обычно состоит из условия и заключения. Напр., в теореме: если в треугольнике один из углов прямой, то два других - острые, после слова "если" стоит условие, а после "то" - заключение.